منابع مشابه
Synthesizing Invariants by Solving Solvable Loops
When proving invariance properties of a program, we face two problems. The first problem is related to the necessity of proving tautologies of considered assertion language, whereas the second manifests in the need of finding sufficiently strong invariants. This paper focuses on the second problem and describes a new method for the automatic generation of loop invariants that handles polynomial...
متن کاملQuintics with Finite Simple Symmetries
We construct all quintic invariants in five variables with simple NonAbelian finite symmetry groups. These define Calabi-Yau three-folds which are left invariant by the action of A5, A6 or PSL2(11). E-mail: [email protected] E-mail: [email protected]
متن کاملOn Hermite’s Invariant for Binary Quintics
Let H ⊆ P5 denote the hypersurface of binary quintics in involution, with defining equation given by the Hermite invariant H. In §2 we find the singular locus of H, and show that it is a complete intersection of a linear covariant of quintics. In §3 we show that the projective dual of H can be canonically identified with itself via an involution. The Jacobian ideal of H is shown to be perfect o...
متن کاملSimpson's Rule Is Exact for Quintics
1. INTRODUCTION. Everyone who has taught the error estimate for Simpson's rule in a few freshman calculus courses knows that the chances are very good that someone who hasn't quite thought things through will look at the error estimate and then ask " Yes, but how can we find the error exactly? " The questioner is usually thunderstruck by the observation that if we knew how to do so in general, ...
متن کاملOn the zeta function of a family of quintics
In this article, we give a proof of the link between the zeta function of two families of hypergeometric curves and the zeta function of a family of quintics that was observed numerically by Candelas, de la Ossa, and Rodriguez Villegas. The method we use is based on formulas of Koblitz and various Gauss sums identities; it does not give any geometric information on the link.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Mathematics of Computation
سال: 1991
ISSN: 0025-5718
DOI: 10.1090/s0025-5718-1991-1079014-x